$\forall$$P_{1}$, $P_{2}$, $Q_{1}$, $Q_{2}$:$\mathbb{P}$. ($P_{1}$ $\Leftarrow\!\Rightarrow$ $P_{2}$) $\Rightarrow$ ($Q_{1}$ $\Leftarrow\!\Rightarrow$ $Q_{2}$) $\Rightarrow$ (($P_{1}$ $\Leftarrow\!\Rightarrow$ $Q_{1}$) $\Leftarrow\!\Rightarrow$ ($P_{2}$ $\Leftarrow\!\Rightarrow$ $Q_{2}$))